Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family ...